| 1. | His research focuses on computational complexity.
Sa recherche porte sur la théorie de la complexité en informatique. |
| 2. | The class of all recursively enumerable languages is called RE.
En théorie de la complexité, la classe des langages récursivement énumérables est notée RE. |
| 3. | By complexity Mirowski means something analogous to Computational complexity theory in computer science.
Par complexité, Mirowski entend quelque-chose d'analogue à la théorie de la complexité dans les sciences de l'informatique. |
| 4. | CSPs are also studied in computational complexity theory and finite model theory.
Les CSP sont aussi étudiés en théorie de la complexité des algorithmes et en théorie des modèles finis. |
| 5. | Wigderson received the Nevanlinna Prize in 1994 for his work on computational complexity.
Wigderson reçoit en 1994 le prix Nevanlinna pour son travail sur la théorie de la complexité des algorithmes. |
| 6. | In computational complexity theory, the formal language corresponding to the prime numbers is denoted as PRIMES.
En théorie de la complexité, le problème PRIMES est le langage formel qui contient les nombres premiers. |
| 7. | He is mostly known for his contributions in computational complexity in control, multi-agent coordination and complex networks.
Il est principalement connu pour ses contributions en théorie de la complexité, coordination multi-agents et en réseaux complexes,. |
| 8. | The PCP theorem, a major result in computational complexity theory, states that PCP = NP.
Le théorème PCP, qui est un résultat majeur de la théorie de la complexité informatique, énonce que PCP = NP. |
| 9. | Finding a largest 3-dimensional matching is a well-known NP-hard problem in computational complexity theory.
Trouver un appariement à 3 dimensions de taille maximum est un problème NP-complet bien connu en théorie de la complexité informatique. |
| 10. | In computability theory and computational complexity theory, a reduction is an algorithm for transforming one problem into another problem.
En calculabilité et en théorie de la complexité, une réduction est un algorithme transformant un problème en un autre. |
